Functorial semantics of topological theories

نویسنده

  • Sergey A. Solovyov Institute of Mathematics, Faculty of Mechanical Engineering, Brno University of Technology, Technicka 2896/2, 616 69 Brno, Czech Republic
چکیده مقاله:

Following the categorical approach to universal algebra through algebraic theories, proposed by F.~W.~Lawvere in his PhD thesis, this paper aims at introducing a similar setting for general topology. The cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. We introduce the quasicategory of catalg topological theories and consider its functorial relationships with the quasicategory of the categories of models, in order to provide convenient means for studying topological structures via the properties of their corresponding theories.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

functorial semantics of topological theories

following the categorical approach to universal algebra through algebraic theories, proposed by f.~w.~lawvere in his phd thesis, this paper aims at introducing a similar setting for general topology. the cornerstone of the new framework is the notion of emph{categorically-algebraic} (emph{catalg}) emph{topological theory}, whose models induce a category of topological structures. we introduce t...

متن کامل

Functorial Semantics for Relational Theories

We introduce the concept of Frobenius theory as a generalisation of Lawvere’s functorial semantics approach to categorical universal algebra. Whereas the universe for models of Lawvere theories is the category of sets and functions, or more generally cartesian categories, Frobenius theories take their models in the category of sets and relations, or more generally in cartesian bicategories.

متن کامل

Functorial Semantics of Second-Order Algebraic Theories

The purpose of this work is to complete the algebraic foundations of second-order languages from the viewpoint of categorical algebra as developed by Lawvere. To this end, this paper introduces the notion of second-order algebraic theory and develops its basic theory. A crucial role in the definition is played by the second-order theory of equality M, representing the most elementary operators ...

متن کامل

Pseudo Functorial Semantics

Categories with algebraic structure—the most prominent example being monoidal categories—satisfy equational axioms only up-to coherent isomorphisms. Therefore they are pseudo algebras. We extend Lawvere’s functorial semantics to such pseudo structure: in contrast to standard strict algebras which are identified with productpreserving functors, pseudo algebras are product-preserving pseudo funct...

متن کامل

Functorial Semantics for Multi-algebras

Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a functorial presentation of various categories of multi-algebras and partial algebras, analogous to the classical presentation of algebras over a signature as cartesian functors from the algebraic theory of , Th(), to Se...

متن کامل

منابع من

با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ذخیره در منابع من قبلا به منابع من ذحیره شده

{@ msg_add @}


عنوان ژورنال

دوره 12  شماره 5

صفحات  1- 43

تاریخ انتشار 2015-10-30

با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.

میزبانی شده توسط پلتفرم ابری doprax.com

copyright © 2015-2023